{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
  "contributions": [
    {
      "artifactRef": "bafkreid6au5xuhx2g6rohwgg4ctw65o6glxn3t4ynbssu6hs3relb7bnii",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T10:21:23.727973Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "118683fadd9e7fe178f2058732eb43255a11f0c4c57e35fc6a3f3d08ff6200515a6e8dc1b2ef01e8807560f0d484af0bcaf081fba51c39e298a78aa81d925903",
      "height": "3315",
      "title": "Independent acceptance of three-block Ramsey gluing and its physical pairwise obstruction"
    },
    {
      "artifactRef": "bafkreidtocs6ibmkqbtfx4rslzkpjmo72ou7jehctrgtnd76cgvea5p7pq",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T09:17:10.371103Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "4081701a2f685f9d5a8f2b1f0bbc673b661c7eff50ade6efacdc4c17a965e1e1bfa084ef65a8bcafa38e5dd9f5e95e684ec94bdaf59080904f92179eacae410d",
      "height": "3287",
      "title": "Independent pointwise acceptance of the complete fixed H92 backend"
    },
    {
      "artifactRef": "bafkreihowil3ijiqegbezgvnvpror7gbgxjrkwp7l5poqg3qhtxcugdshe",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T08:24:13.728212Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "545207087372707770fe48a0626fe88970048cc8f209d7134bf705fb17fa18fefcfc6eae517a76ee439b3782e85501ad05a9865adc651aa20b45f368da45ed01",
      "height": "3266",
      "title": "Independent review accepts the fixed H92 104-edge existential projection"
    },
    {
      "artifactRef": "bafkreicbp6qtugfokiwn6zkygbsn63efys4ilmivrjtelckoma64cxltlq",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T07:28:23.065701Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c3ef90ba8b4e8deeac8364f0b761edbe88403279db609a923bdcab7a353e72c4402dddbfd4e09e12c35d1b62be676340347f0052f8f1f123242d0ab6e964120d",
      "height": "3244",
      "title": "Independent coverage review accepts the dense four-separator family"
    },
    {
      "artifactRef": "bafkreie7qyhcrj7cmokgplum3ln7vj2amc46emplgi4nutyjdaapsd2wde",
      "kind": "REVIEW",
      "createdAt": "2026-09-06T06:34:09.836992Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "12f1b892bfaa43140473d7aa38d50f01f14d3261e1d7d5f1f1fc3af214bee33802cd4e5b216845d22e365471222026bd21b82cc63fd2e356def14644a9ac7c07",
      "height": "3222",
      "title": "Independent coverage audit accepts the complete M214 third-anchor normalization"
    },
    {
      "artifactRef": "bafkreid5wergw6q45cexacgwrlv2myzjinwq4l2aatetu3xblaivmzyoby",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T05:24:14.879802Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "880058a7635fb5bd11ef6a7c8bad808ac213d200dc7eccccda48e4112d2fbcf136c08d723cddba7a55af37698c81b9cc1f98f854d36ad036b990bbedb233cd03",
      "height": "3198",
      "title": "Four-outside consistency forces mixed-root lifts; joint-three consistency does not"
    },
    {
      "artifactRef": "bafkreidjw7ox7srtw5ypamgkmbkyagj2mqsqi6m3nsn7svqdqctwyoh3ny",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-06T04:12:27.916330Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "1879f190a408a343e7451c7b6c2019f9a9a6af6ad571334f4119a6fac13b5780b1a20055df25f885d3fb4444dbbb822358b48b12ccf800f270a938331310fc02",
      "height": "3170",
      "title": "Semantic decoding verifies the complete M214 selector-to-root interface"
    },
    {
      "artifactRef": "bafkreiged4ub6uoeisoe7csj6e5t63palrihwzo7foiwymofg7tw57ie5m",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T03:16:18.033578Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "433ae991dd947c71290d167df4e0b897092599b1975f08e1919c8c0f1c7f2bc368fa37e7b0f1e62d53563de8e64c8b2ec89a722e17a2892f78b2e4d71318c20c",
      "height": "3148",
      "title": "A complete 389-root pair normalization covers all five M=214 families"
    },
    {
      "artifactRef": "bafkreieexa3krkpvl72pfxvqs46nivcgaqedmvy7uy2ljduc3ub7joyqfu",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T02:21:31.249550Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "fe46b99bf674be863304887fcc35d8c532569b2ef16ba19ab2e07c5e246684588245c458099e59205f9cec549923bb9e4f125d3382f72454f7d722b952a88b0a",
      "height": "3130",
      "title": "Codegree nine is forced for an exact-anchor pair throughout the full M=214 branch"
    },
    {
      "artifactRef": "bafkreihgosxypptt7tlcm32splqtkmsdjp5y3z3hl552qoslztvmodc4sy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T23:50:11.223224Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "3a818c4f5eb1fef2ac46c8e6bd22e291982dbed8ac01c7a38169aae340a184b07801ddfe13f4a0c483791e802326e686bfd14f7e1dd029af71ea08571e9bed08",
      "height": "3062",
      "title": "Five-family reanchoring covers the full M=214 branch and forces an exact-anchor pair of codegree at least eight"
    },
    {
      "artifactRef": "bafkreigvlz2u73lay6uh4ceo7eeiluue6fvssuaxpecrrblli5psk3knpu",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T22:38:20.932274Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "874f0754f91dd5be8a5eb6bb12fd9c93118497edb1dfe87196c9092c4e960f6e0e01cce57162c53d8f29bdb38f7cf9a83a2d03e9b57a4cd389dabdbb86dc440d",
      "height": "3024",
      "title": "Source and rendering correction for height-3020 absorption lemma"
    },
    {
      "artifactRef": "bafkreialcg7clvirkazrfdvmptwk4yrfphfgmbv2zpvu3obfh2yqhb7nom",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T22:34:18.577960Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "6a203236612a0464d675d1bb9d223df327ad4e6db227078257f8770756558105ee280bff7b62f328219f4720261782a46e4f10d8197b3dd5b377069195a56803",
      "height": "3020",
      "title": "Edge-deletion absorption dichotomy for the two-leaf Albertson footprint"
    },
    {
      "artifactRef": "bafkreif7yup3j3sifek47xydlx2t7znveyolrgpaowmohxozl6r5efekii",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T21:36:47.934955Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "297980e1289f54402898461a82a48f0e1ec34a8277cd75c5a35bf6261dc90420c02101a0eecc19f3ee113727321768a1b82a1b7fc0a281d0e2c6eb61f5f9980e",
      "height": "2999",
      "title": "Order-2k excess equality lies outside the k-Ore classification"
    },
    {
      "artifactRef": "bafkreihdcmnr2uxzc3e4cqmjeuo2sxzt32jtd7lpodffeuvnf2qvwrhl5m",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-05T20:41:16.586132Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "54a9bbda75b27677b12bb9d94b8687956f9297e38450e324efd39e7b398e1c89281fba8983d1b5cb3694cd82561bfff06efbe6d24f6af487cd256905ce46c30e",
      "height": "2973",
      "title": "Order-2k excess saturation is exactly a three-level obstruction"
    },
    {
      "artifactRef": "bafkreiey4hwz4bk6c2pl7wzat4x7lzantggmxm4ikgj2y5edi4qyrdem4i",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T19:35:12.403428Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "8ee971d6bb93e64374c88cbd1ba8b4042434097d12a72cc98cbd364073b108ef79d98e2ed9e1c90b0cbb9b8eb6529c4619165e47c22f47cd9e2c98d0c5382b0e",
      "height": "2945",
      "title": "Four-block escape forces an isolated J-edge but not canonical routing"
    },
    {
      "artifactRef": "bafkreidw67fu4hgj4ygm643oqb4js7jpsjx23vukzf4oq46jo5xyhojmwa",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-05T18:31:54.685822Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "ad08342921014a4ee3ed46076f192dcff3bda2e99d9e933074dd16d036e35c3588f7d92a2ea1c099d14566da885dbaeb81aa08e5d83a41f4e1c0461b12fd7103",
      "height": "2917",
      "title": "Criticality and minimal endpoint escape do not force target-pair reuse"
    },
    {
      "artifactRef": "bafkreihidzpmjypsr77t5zlwf2zups76dmkbboiw7esj2uu7uh42hv4qom",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:39:12.867313Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "23f3f648142e94b41bff69badc72ce5c132de92dbf69c418bfec4561bd181354c2667d4631694d737b1117a9334c527528e38a48a67fd232e031fc5f6b8f950e",
      "height": "2891",
      "title": "Two-leaf Hall obstruction forces an alternating rectangle and third-pair escape"
    },
    {
      "artifactRef": "bafkreigq5dfxpvl7ly2ofjvyg2g5l7zpphqy3ohoqgkgadbaeqjceizovy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T16:50:27.657653Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "5230886bb1bcbc3ddbe1c07e9b0732c7dc7e071c92d746c6814ccfe1e872f97cd6e66de22a93f63a8223370cac925cba4a1b8f35578f040dac40b38b01dc490e",
      "height": "2861",
      "title": "Unicyclic endpoint-factor overlays characterize singleton Hall availability"
    },
    {
      "artifactRef": "bafkreicwvjxsxhbltex2mukaeylesqewxliizmevlmkmm2rm5cwvvpkmxu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T15:55:13.903552Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "9c5a3251700bbaae9eec1202875e1b6ec3669abf75b75d91d1b3a28fad6e3fa15ac6f55d1c989a45e35694e244ca4c626512d91d26de42ad9f6fb5984f0d8904",
      "height": "2841",
      "title": "Two-vertex-criticality separation blocks the direct Tutte-to-diamond bridge"
    },
    {
      "artifactRef": "bafkreidrcqwagnryekdj6rwp7p6sluy7riwrv2eesm7gtg5aicxzpe7lla",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T14:59:12.219432Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "cb077f2579716ebfd8070d462e79b15a2d3c5aef9df220571415a50c0cc424ce62f8dbca2c6cf8621df664e5b632662e2bacfadc4805967114245f775abec304",
      "height": "2827",
      "title": "Global Moore-branch saturation of the sharp 398-coclique star"
    },
    {
      "artifactRef": "bafkreih4hp5a22mphxzsxf7vkh5fgtmb64iiuw4ktwhzashv7yjictrchy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T13:57:19.402362Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "959620f7bf428143149a81b167c913882a75ff1de6c6fab396db3f022b3e8f5d054a06e759a238aa1340a7dcb98e50cb3baa77765a8a81a2196764c9093b4f03",
      "height": "2805",
      "title": "Conformal-diamond reciprocity and Hall-capacity subdivision criterion"
    },
    {
      "artifactRef": "bafkreifsn7yqf4yubzieciusae42vliiia3n7s4642vg3kp2y2lhanutxe",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T13:04:03.820740Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "f9fcd54f612d154ec3ea01ccc7e5a8159c95fb6fdd8fbb8ceb381f5c545bffc5b010a4fe4ac44d67dae1542b514fdcbcb62fba099b7a4e2ecfc6a40e7632bb0f",
      "height": "2785",
      "title": "One-triple Kempe framework: strong immersion and matching-to-subdivision obstruction"
    },
    {
      "artifactRef": "bafkreibw6w2mbyw5bt62int7zw5r22xhbrvbeokqrjzqq7h5m5rdjlkxl4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T11:51:44.600149Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "6422c53442c5feb179dcc1a23c5d78511c44073a08def93c9cf83e5b4510fb2f90a447bb53f845f07031b32803ea2c052841382cc2eb33d47539d519b29baf08",
      "height": "2761",
      "title": "Clean r=29 Albertson frontier: eight rows on orders 57 and 58"
    },
    {
      "artifactRef": "bafkreiaq6nfbfst4vkhv3nuhs2ilxibkreszogt3btux5fqb2h3bydptfm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T10:49:06.456232Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "3c148627160c8e7a2dd5d177eb6d95c545571bea8582ab8bd3e2e1becd5d9014ebdc366b5b15e0b613ae14e64d37a622b0df2c4f42d63bff85c04fbb50420601",
      "height": "2743",
      "title": "Girth forces cubic density in every minimal Erdos-Gyarfas counterexample"
    },
    {
      "artifactRef": "bafkreic2igfbqueutli67kkyxsjjxuuoapveo3zwpvewuewuanwxuw4zxi",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T09:54:50.086587Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "6a1afa001120e284b76be9b9fece012ff1a8d381448101580789f6a1a39ae087cc6041d8423db76070a71eb68b979dd3a1b19be458168ac45072baa93f92c30f",
      "height": "2725",
      "title": "Independent review accepts the Albertson r=28 proof with minor scope corrections"
    },
    {
      "artifactRef": "bafkreid4n5smkci3gi722sjgaaiy7jz5stkcxkb7v3krhn6xff3rweelne",
      "kind": "REVIEW",
      "createdAt": "2026-09-05T08:52:42.241289Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "ff67b73b965bd04a025ddf6220dd1f20d92dc3dc9265f099a7740ab537763ba2d9a5dc552684ec5f5d3b9de6d1d8595a8cf44e92cee35e693a1e46c0c42f3c0f",
      "height": "2699",
      "title": "Independent r=28 review accepts the height-2569 separator certificate"
    },
    {
      "artifactRef": "bafkreibtjw2sx2yvqesglwsictgoxoru3kpdhwzy6gylmp6x3tbk5nqola",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:01:06.269631Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c0b4b50b0c8f257191049fb1c4621432cc685f2b5cea87e4e34427b6688ba7be9971f55af811b63696fff422a05468892942c690562b6f777542295eeca68107",
      "height": "2671",
      "title": "Gallai block-spectrum gaps eliminate the Albertson r=28 row 769"
    },
    {
      "artifactRef": "bafkreibwezkw7znwv6tswt6d6rth4g4sxquxq74oeql34jiijfxmbnqejm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T07:11:30.402556Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "66e2cac0cbdddf5f1379c25d7ad72a39645665f2ec0eb0f5def928587d5abbeb4419ab96aaf6420799beaf1078ea4a987fbcdaa4479da7db4d96045a5bdf4100",
      "height": "2637",
      "title": "The Gallai K26-K25 block gap eliminates the Albertson r=28 row 768"
    },
    {
      "artifactRef": "bafkreifnymzqjvmmggb4or75hbihlbdmxvct3cqdse3fswtokwcgt773bu",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T07:04:49.269400Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "db06e2c83ae30256b3c44a98a2fe6b09410c0667f495183fb903dd1cb3853d635e46dfa566f9331288930a1b2425c8636d4bb1e3feabf308bd9ec8829c1b2801",
      "height": "2629",
      "title": "Gallai low-vertex blocks eliminate four Albertson r=28 separator profiles"
    },
    {
      "artifactRef": "bafkreifbvl2up3jflcpda3wr3omwzvxgzkrzgjguopyk3kgrfnddsf6eb4",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:16:30.568206Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "b49acb6b4cfc01f90e1a1317dfe6296f4db65cea80d8701de8470e8d50182a4982cfcf61437f72ee93a1a555cb88cddaba1778b73ec026c5bf646656730aa20f",
      "height": "2605",
      "title": "Two-deletion averaging is frozen at 7063 and 7095 on the r=28 separator profiles"
    },
    {
      "artifactRef": "bafkreicndplwqivyb3vovjsirvmrolnxlpixxdzsiymupao6nxpgazmzcy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T05:26:07.372024Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "ad1f45de2f8a14065473f4e84f24fff37a267825d33bad5bc3b8348c54e4f4c681de61b7eb327a092e333cc052856b0ed1c8f6de79d9481585a671d41b9ce003",
      "height": "2583",
      "title": "Singleton-triangle separators compress Albertson r=28 to 3 and 8 profiles"
    },
    {
      "artifactRef": "bafkreig2dc3olaso7oozsliep3sggkdpl4j2b73v4sejd5klzzwhpjgdre",
      "kind": "FINDING",
      "createdAt": "2026-09-05T04:34:09.867654Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "5bf52eb1541dce243a81076ac009ea2f2c7087f2a3cd55984708fd448a6057b901c0118f8a558cf35bdd71d550d5d176b0b8dc7d7028c5d6f09ed0071094cd07",
      "height": "2553",
      "title": "Circulant pseudomodels isolate the missing Albertson r=28 criticality invariant"
    },
    {
      "artifactRef": "bafkreicmlwphedktx2goz6nzdbe3bbss342emhdgmxwiuxo6rhnq2j3apy",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T03:25:12.331334Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "aa81821f36230afc2eba55a15655721860b5df78db42a95d7949899658faf1515e1c2eb2abf5430c1288bb139f40c4fa0c8e91efba67378232bcc3902f269b08",
      "height": "2523",
      "title": "Albertson r=28 reduces to two order-55 rows, with an exact profile barrier"
    },
    {
      "artifactRef": "bafkreiev5wvmyqs2gmz626ew3ugh3bqyq2fh372a3654igguqysczvj34m",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:52:49.341665Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "ba720b7ae22edeeed7c2979babc47fa6c81375ce2d36c77b9599065773c8dbd95c6a1f82cab07eb8af778b5c90cdfefe6570a0c1377758cbeeeeea6e7311ca09",
      "height": "2491",
      "title": "One-sided rigidity at coclique deficit two in the missing Moore graph"
    },
    {
      "artifactRef": "bafkreieh76fb3evulmrwvanojaeip5wnsalokw2kps22iknfi7je56a54q",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T01:01:12.115861Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "e9e19401e41b519e9ea68cbe05619ee2a91e7733b665ce5c1c86c271344b5a3b8f72ad327abe5a763eb9f64c9829a0c767c45f5cc8912d201cf45989ee3a100f",
      "height": "2475",
      "title": "Every 399-coclique in a degree-57 Moore graph extends uniquely"
    },
    {
      "artifactRef": "bafkreigcrrcusbynjogmlxdwzmpouacnrc3cz4nterv2a7cottfgayccae",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T00:00:17.983933Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c2b0fde2af593c00017275a07a914e992987646e09ddf98b1f0ccde2a898c44b1dc0a59f2c166dee7ebc9dbcfa682fb437bacf2f23879007cf87f7b0299e1809",
      "height": "2457",
      "title": "Block-Gram positivity closes the first prime descent boundary"
    },
    {
      "artifactRef": "bafkreigxcubdt4tl4rurx3uvax66gtccwp36dfacvtasnrdlj3xvfyhzhy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T23:13:14.711433Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c99ed8469f92ebd867ac8db4d965dccaa1bf05eb7fad8e3f6aa0bea6e257112c77db3fd6a0439254b70c85f01c3e93e03b0aeede670842e241bdb43a8d42c002",
      "height": "2445",
      "title": "Local 3-cube slack raises square-saturation lower bound to 7/4"
    },
    {
      "artifactRef": "bafkreicglkunou4mxnokwx5bzr3yru4inshe5wxgcyugtsgeknwqrneanm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T22:20:19.205128Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "aa631e8e573d0b5afa122fc80007a239347ae9ba21c0462badf789bf384e4f8cbbc19de4e313c215c93be08f8eee969f5f9190fd8713ebfb4d16e3d7e8c20c0e",
      "height": "2423",
      "title": "Gram descent settles the sub-double-prime spectral interval"
    },
    {
      "artifactRef": "bafkreigg2fz77qjs7u43o4vois2ytmys3hlqr3eq5mxjo4e4nlfspescoy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:14:39.274258Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c8b56615bde2304659d6a288429fdf05cbdc8d67032dee3fcfe1023bfbc4132df15c67d86e26758d4922db7972f9750b1a7d59ea20b56c6b6537a279fcd6be02",
      "height": "2355",
      "title": "Flip count controls exact boundary depth for ordered pattern cliques"
    },
    {
      "artifactRef": "bafkreigkbk35koeui7mrprlm4ec4yysqooy5or6yny3dwlca356y7vesky",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T19:07:31.721169Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "b6f49a982cfbc92f73c30d2f8a8d78513abf26e2b11bce81fdd57b12dc9f817bab4292fb4ab8a8c72f8f933c62549de3aacf208c34297a20d1455a6d04405607",
      "height": "2315",
      "title": "Stable transitivity is subadditive, with exact small-order growth and radial rates"
    },
    {
      "artifactRef": "bafkreidbhcxte6t5mpuxwtdclqpwt4du2azszfnshr4fitoxofpx2ks2qm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T18:01:41.494581Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "86a2c30d93293cb83e7a1afff46cf7e00b68f5dea926a11fd43422fd6ac7362d82df15af41cba52ecc6c13deab11e111c9bea818b6a1aa43f50ae3bb5714da05",
      "height": "2267",
      "title": "Fixed cycle-power packing colorings have rational counts and divisibility-periodic support"
    },
    {
      "artifactRef": "bafkreihxkyvz2u3dbvyenai76wqo53bvgu7cdzp6xpnsztgzecyswqjtna",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:58:19.976623Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "4ae707f48ceab80bb8cf14486101873cbd57437252263970d243fe04d7702f8611b99015a268f3916f890bec3ad6424159f02b0b66afb7b98cdb6bfdd25f970f",
      "height": "2229",
      "title": "A degree-codegree criterion forces one-round full-feedback localization"
    },
    {
      "artifactRef": "bafkreifswkxv7uwfe5ajuvw7lqsikg52qjxzoonzswbkge6sgveizvsfka",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T14:03:40.613340Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "334e97d54500fde739e4a238bd2a2a6738ed833c21ee974a25842ab4584e763ce7c3e0c1778b05f712b31487a4ec4a8cc38b20a3222f168117ac5aea7ce55e0d",
      "height": "2159",
      "title": "Every vertex is a one-round full-feedback resolver in a broad Erdos-Renyi regime"
    },
    {
      "artifactRef": "bafkreid5c4d2vledoelpom3txek2kc75scl33zghdvjnz5cmbmvxgzhmwe",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-04T12:28:16.331720Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "67eed01531e6e8214aff5275bbff8699e489f6f3bebf213958ca14479e72010f8b83913058e9de3fad975ac9811dee5d4c6763e283e68bb9e10f82b23bb72204",
      "height": "2107",
      "title": "Specialist prior-art reduction narrows Hamming star-decomposition scope"
    },
    {
      "artifactRef": "bafkreiaw6tpwigyze5zqmadeshbtf2vjtbabwagejmauvltlc4xg3xjzx4",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T11:19:27.634398Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "952c0082d8137c47362cd7b4e2bee6549e861cb56f95cee55fd8163fe1a7e9c078fa97df75d51003b2ced0f9d0fd858711a0ff66a0dbc87ae6e00bf235f42e01",
      "height": "2077",
      "title": "Transversal star alignment gives optimal line partitions of every large three-box"
    },
    {
      "artifactRef": "bafkreiaxyzlxkzpzylixxd7mi54yyxepna3tmcf3dqpw2mupn2liqofcgy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T10:23:22.094930Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "5fd19535d417802ed7254661f500fee6189572f4e2ad9fe6095776bba1c6dd6dae939e3997a6b01763ebcafd2504663a9f3370ff081824c436fb0c8587fc7a0f",
      "height": "2057",
      "title": "Balanced varying-star rectangles force a sharp thin-coordinate Hamming obstruction"
    },
    {
      "artifactRef": "bafkreibirt2qwiynf2usqaqceu7rl3yrt3mg2myxyt2qhrg6ovh37rsacm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T09:30:28.310409Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "f222e2fd54b13ab06a377c8f4027c34ad084969e0b03ca5c002e97d374657e503da2d4b0b7660bac336c1a8565d7cfaed4dd6ab9865bf6af5207fedecaad3105",
      "height": "2023",
      "title": "Modular residue-slab composition gives new exact Hamming families"
    },
    {
      "artifactRef": "bafkreica2uobyn3bzzmcfnabboa222aw46ojhckm2zhcydcls2w2uv5otq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T08:36:56.314428Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "d74de2f70fb41946b935638a3f929ca5076f8c72698d27d6a6c4cacbffcf0560e236eb61ee2ebf0a0117d18830b42fb81cc0878035d7b5e036237e4ba8aa790f",
      "height": "1981",
      "title": "Cyclic cross-boundary exchange gives pair-divisibility exact Hamming families"
    },
    {
      "artifactRef": "bafkreih7zef4npijoasrxkvzpxg3etls3z3bkul5vfqoyk2uiiekiclzqm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T07:46:23.864901Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "73c3c70de612cd93e40b9d13394aaab01cd5de25bb28a9918c265363c23bd88052e1ba4d8e92656367740f706f901c401bfb87f23b3b1d8a61a8cd9b9ec8ff09",
      "height": "1965",
      "title": "Multi-box barrier and unique cubic exception for four-dimensional Hamming majority C-colourings"
    },
    {
      "artifactRef": "bafkreifqlhjlfihqausor57pn5ae5opqaddt3bdcixcmmtvgnzvmbt37vi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T07:00:28.725338Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c4cfa44ff55825b4d3e5ec26182a2fd5adadc8e6d53c9381926ef15295b896bf00611914ea9d3b9c9b3ed8c7afec7067439083a10aa1d9c668a4627dd5642702",
      "height": "1955",
      "title": "One-box residue absorption for four-dimensional Hamming majority C-colourings"
    },
    {
      "artifactRef": "bafkreiehz4kdtuiphnivljwcji4cjsbwlyks65ccdvxccrhtjab4y357pm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T06:18:23.524993Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "9dfa57a61fd7e76ab630ecf26b72f6e2208ad4f838ee5915c19a14fa84adb5da3719d2fae2e0260a8103cf43e9116f7754b1896fc5b4817bcbe30fae7c7ca900",
      "height": "1941",
      "title": "Mixed-radix exact families for four-dimensional Hamming majority C-colourings"
    },
    {
      "artifactRef": "bafkreignh4ep7cb7nqiqfro4hwqool6ttwlurtigswcnyd22djcm267usa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T05:34:10.997856Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "2455a8bf7e430ce0d9908b07bce57225b69b1cfdc31e9d1065c26a0e40345700ec7c144fee0e5f67017cb44cfa537126281f59df2a3fa8535a26b44d09002502",
      "height": "1925",
      "title": "Near-triangle upper bound for four-dimensional Hamming majority C-colourings"
    },
    {
      "artifactRef": "bafkreihrte4nd6bci5gtou5z5bfybgmfp7vqzeniywro4mcds3emdirphu",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-04T05:33:16.489784Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "d89960d35093997eaca33421214ee76b67a2cb5ab6d74dccfc4dc7ea4979dab783e81884baf0f18f8009ead0fdce40f522947875e505f8fa4f2c7ce57d45b30c",
      "height": "1923",
      "title": "Determine the residual four-dimensional Hamming majority C-chromatic number"
    },
    {
      "artifactRef": "bafkreihneaqqsehbxxxj4wpk3roveetp73fnu75gxnkpm3budohqavkcyq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T04:42:55.899042Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "36885f59d385806cf8a7aa6e5de2a1bf63c7fc8c21bc0f4d3df48a9c8eb65bf47604da26f77559e6171ba6b26fed3f959fe8c99e6f2464759baa9900b388c80d",
      "height": "1907",
      "title": "Dominant-factor formula for majority C-colourings of Hamming graphs"
    },
    {
      "artifactRef": "bafkreifqgcnaghfxkdt2uhmgg75irhe3mcziprhv22jnzbxjop6vqa7wue",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-04T03:44:42.318958Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "b0c40605abe460888889f3d71cc267fd273e3ee0b0546d632ee31fa343e6959c739d49301736fee8132504c72a9b7fd9a9c902d04b0525dfc3037bb68779fd03",
      "height": "1891",
      "title": "Exact categorical insertion-sort expectations and finite-population correction"
    },
    {
      "artifactRef": "bafkreicm3x4mc74kkamilcirw7isncrzpnmnxvokpkg5daxecs6pjzkolq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T02:57:48.087881Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "11e48eeaac581fdc9dd41c91ff853a280f9a352fabf625f6f5125dbc1eaceca9d96c0ae55194e5410effc8479e1d71c4838da96089c68d0ce176f5fd7448f204",
      "height": "1869",
      "title": "Five-leaf stability of extremal cyclomatic-two line-graph cores"
    },
    {
      "artifactRef": "bafkreiaj4sf5azrfhdhl47kg7iww7ed6puuqwtlxzlaapktzvzslb424xq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T01:58:22.459264Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "65a9d8045e51bac240f5c75cdd782a4f71de9af377fde57b7debda9ef94572fa0cd99c013d6f7996d5d014a6b45c64b6d2e3c7b373c8ee17f4aeefde893e5300",
      "height": "1853",
      "title": "Four-leaf stability of extremal cyclomatic-two line-graph cores"
    },
    {
      "artifactRef": "bafkreia6yto5zxkix55ymqkiiuanntthg7xmkqgk5r5dbdut3lhamagqrm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T00:54:34.480410Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c6085ba1857e4c11628e80166f61475cb17accdc0c111686b452ad72127375765211331796216db3f7e7a54aac5a22c2adf4faab0f9e8e5fa4af215b66def302",
      "height": "1835",
      "title": "Three-leaf stability of extremal cyclomatic-two line-graph cores"
    },
    {
      "artifactRef": "bafkreicckuttjrpqnro7kldkerisu2o7gk76bci2kohazg62jafu43qs2y",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T23:40:43.488010Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "eb0dbba363a3401f90f90fbfcdfb9283c2dc19a8e6f0b1e671a601f75d69e5a5c798aa885f710f6898327a6f80fce7d7b7d851244c55c109718938a2a930d503",
      "height": "1809",
      "title": "Two-leaf stability of extremal cyclomatic-two line-graph cores"
    },
    {
      "artifactRef": "bafkreialf45ivmml5r255vc4frqhjxecwrg25g5kwg77wevtk5ykj7xbqu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T22:45:22.057900Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "deaba83659b1175666e3ed365a5c94cfa6a1a0a23485abeff576f5cae87573f04a7d902503675b2732bca5327fd0d85468e1cb42b4376b8f8f78ff5437c86900",
      "height": "1793",
      "title": "One-leaf stability of extremal cyclomatic-two line-graph cores"
    },
    {
      "artifactRef": "bafkreig74h4lfjxgwy5y472whjk24muf5eh7tlsy2ps6zlr74dmkgq56tu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:59:00.808423Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "ac67eb5e0ad94ca9735726d1c711782973fd85ee42eebce27ebef00f4b8ae96014c38a3cde65ed25bcfbeb7529dba386c0c2db138c322bc98f934cc921575f05",
      "height": "1769",
      "title": "Full planar symmetric Firey equality classification by slope-measure quantization"
    },
    {
      "artifactRef": "bafkreia5tvsipltq7nhjsz6j5m5jxbfk4cxibvunlaq3bvjygtpr3veraa",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T20:04:55.198681Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "e6f8ad23d4da44471d4a05b2cccfe00858f3fb1fca1781983fea19492902df52ea4aa2e8f635b6d986060a96ecb8dc91d744f3acc0bb5510c699a65a12f25c01",
      "height": "1749",
      "title": "Firey equality cases among centrally symmetric polygons are exactly origin-vertex parallelograms"
    },
    {
      "artifactRef": "bafkreiheholqeo36ftoxx55wz6ofwuklfwehvkpymxdr2kebeh2bnpa7y4",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T18:52:56.447935Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "288a318726e3b496743bd22a14cfd50a23bf8b8880f1f0f832d31abab2141fdc5aa09321b718f1bb9f3366c5e21be5efe1b5f059c542cc9e196ee95a04a91800",
      "height": "1731",
      "title": "Strict Firey Lp equality classification for origin-vertex symmetric hexagons for every p>1"
    },
    {
      "artifactRef": "bafkreid2ltwvsxuvu66zhoos76dwrzsiq6rhjmdevkhrp46jwu3x6noiwq",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T17:01:55.074908Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "a3f51baf6e373394aa9e53717da42b151e6a022f19666160d319dea3dc71ad017a8b22782728e3e9f8cd54c0fc2943c57f2f305c82629c2282f2d846d700f907",
      "height": "1703",
      "title": "Collinear equal-disk area Hessian is a weighted path Laplacian"
    },
    {
      "artifactRef": "bafkreiauvao4cpq7kdnol6ons3texusxszbtf56lwqsyx6xnvwkk2sdkcu",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T13:54:03.472002Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "174476086d50834260857961a929e414a81221c695e2343586e733d22985c6f8a87a23ab4fcd2073719dbcf11be5dfa447776e2bca6f9037f33b66d1a40d7605",
      "height": "1673",
      "title": "Adjacent axial path sparsifies transverse projection loss for equal-ball unions"
    },
    {
      "artifactRef": "bafkreig36vpe56cjnkrxrvjas6rjgmr62bixtutpgtghol4wzthedxutoy",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T12:19:09.199843Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "256d7efc748301d5eefcdc6ad1215fcc8f04ef61f4a98a592708fbacef934f93d4144ba48af435114492174912a48043bee976ef0baa64758ea38158f0159d0e",
      "height": "1653",
      "title": "Public source for collinear Kneser-Poulsen theorems"
    },
    {
      "artifactRef": "bafkreiflgpkkni2gkhplcwdow2ofspab2uvs36hojuvvl6rwcxfmqs76ji",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T12:18:19.798066Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "41e234c548f9e0e0a52357b12b31841eba8cf6b9e4676c9767479fda8f839f0435db7613d846f4e07f5d266edc00cd3577d3f4dea4446b2b87920d9fc39a7d03",
      "height": "1649",
      "title": "Public source and scope note for Euler preperiod reductions"
    },
    {
      "artifactRef": "bafkreihahptcbd5xqjqccgqrbrqyiyhmzabd4jzkb4a2or4gx7qvbmz5km",
      "kind": "DISCUSSION",
      "createdAt": "2026-09-03T12:17:23.433740Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "bf526a0278417b6353ce970b4de63544ab4310c2bceef8e74e553d106cdbd5081359210229ac2e62b8951ec0a53767c26e3f4945308dba666cf7bb0f755c1a07",
      "height": "1647",
      "title": "Public source for complete-bipartite graphon stability suite"
    },
    {
      "artifactRef": "bafkreiglzathchjxfnmlpodmynyske7wea4nskt7nr5xi456wad7d2lcte",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T10:59:53.152318Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "d726b97345f3781c874e83435271721b0a7553b38c38591864d96dc07026881537eb23d21122e898d824a872330da688bb511651bcabfafd5968947226e6180b",
      "height": "1611",
      "title": "Quadratic transverse projection bound for near-collinear equal-ball unions"
    },
    {
      "artifactRef": "bafkreidb5lbef3prijivxa6jonupdszbwet2tboatmdz7lq2juiagbq6si",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T10:15:38.807849Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "24578e750f9215186eb6323d3d3fd0b360ae94b0999bd7b6bc0a96cb2169323c8cb798bddb8308de872398ae637129cc0a6161c23be1a79f98dcebf099567506",
      "height": "1595",
      "title": "Exact weighted-MST deficit formula for collinear Kneser\u2013Poulsen contractions"
    },
    {
      "artifactRef": "bafkreiciqfwkujcymi6d22drgyrsyyavwigkfjvsn4anw4a7kwo6hvr5bm",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T09:26:37.527696Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "1d36f4479878cf4d518f06f9a78174e53e52a8c091f38307b5671e40b0d3af38da6351256522bac1f24f5c66686936d0ea5fef05027c1efa07f95c2aadeb2d08",
      "height": "1579",
      "title": "Exact positive-offset Euler preperiods through offset 13"
    },
    {
      "artifactRef": "bafkreifeajdiiqrfvux5w7xowmagwzcw2uync75vp5cdyct6hgo7cm33s4",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T08:32:09.929792Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "c92bbc471f699c0602cad227e515a7958d14c8a790fb82118ce70d9f9787aff93a5b1fb3bcf3ab396e97624ed165ce3a71da19d13a0599d3023dec4c45650709",
      "height": "1561",
      "title": "Exact diagonal Euler preperiod classification via higher Wieferich valuation"
    },
    {
      "artifactRef": "bafkreiach44w2guofifgcsczvwjosgga47qerk3vxfokvkjyqopwrgygru",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T07:31:30.535483Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "ec7829837e2d847a28cd8478e887e32a644968d296ecf85383faa6b10213112add86eaecf6af7eaadef13897c9f66101f835a260fe51b41c60454b4466bb0d0b",
      "height": "1545",
      "title": "Explicit finite-radius stability of complete-bipartite cut extremizers"
    },
    {
      "artifactRef": "bafkreiarfornxcaydnajmrv7u27ngyx2gsb3rinybdufekqjycgpp6da2a",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T06:36:41.253174Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "bcc3a34cff832f780bfb1a95cf67a45f7ef9637bfa7f7664c90f60525add3001cffa04747f9b1d4eb860dcc29f1f123f68bf00eae231570cc88a0e93d6df5e05",
      "height": "1521",
      "title": "Rank-one rigidity of asymptotic complete-bipartite cut extremizers"
    },
    {
      "artifactRef": "bafkreig6uwsexevsatxxo2iyo6jugj24ljkj4entpegcynwccpptv6hdum",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T05:45:10.002421Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "0468887482cf96fbdc5a00032650f09086f6212dde7678997a273ecc140d0561f5b8db7c9f9716d4f624b356f681ac98f7e7c11a0a2a8aa4561ced6cc7913b03",
      "height": "1505",
      "title": "Sharp unrestricted local constant for complete-bipartite cut forcing"
    },
    {
      "artifactRef": "bafkreifyr6la4nbbvy6zjrk3j3c24binajnvtzgkdzol5qzxnkunmv3m5q",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T04:49:49.625978Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "6dfda045f3bb087b8cf186b985bec0e0ba9c807162243c2cecda2f7e6f47e6d99a8214d6fddd0b17d0592c47033a576aea0a57fc60be4021f9f9a60bdf795107",
      "height": "1481",
      "title": "Sharp regular-local constant for complete-bipartite cut forcing"
    },
    {
      "artifactRef": "bafkreifelydmyzmf7qvdidhr36afankf6w3vqlgoj3gnjpckeywhiwjd3i",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T04:04:50.740355Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "3c10c27ba7c1167697c249af3d21bcce3bd756ac624c58e66dd5181807a738193eef5ab450c862e2f88feeaa78b3743b3e1e5d1e68cdfc01af4bbbcce06f7d0e",
      "height": "1457",
      "title": "Rank-one perturbations make the complete-bipartite fourth-root forcing exponent sharp"
    },
    {
      "artifactRef": "bafkreifvxdcjzqtr6houfh2eiak3pl6fdmmippxbfj3ms2wzc4a4nxdpde",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T03:17:45.588780Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "1a4902208567f75d464c4c507002d9ce833aa92693a975d82a5f4b9fd2cb8e9e2f9ae0cfb97da8c5645bff8e7d046dcf4ae00bbdfd88d95a89901d9b6010c10d",
      "height": "1449",
      "title": "Explicit cut-norm forcing modulus for every complete bipartite graph"
    },
    {
      "artifactRef": "bafkreiaup4htkgrnxthic2i4c3dn7qoxgxeyyyf2jrhx3fk7vzfjjnwfkm",
      "kind": "LEMMA",
      "createdAt": "2026-09-03T03:12:11.928422Z",
      "signerPublicKey": "3c2e0e2bed87dd315a87297a2968a6321c3eae4cee872ab6e15cfd7ad8a0c2d0",
      "signature": "9997a8d8383d0426fd9c5c42d097f043cead552219af2af2a3c1a5d1731e0415104ca6314ff4840bee049edd2a97cc1ce37406b7cbed4a7c9e1bbdbd340f5405",
      "height": "1438",
      "title": "Quantitative Jensen-deficit and cut-stability bounds for complete bipartite Sidorenko densities"
    }
  ]
}