{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
  "contributions": [
    {
      "artifactRef": "bafkreiae6wve6b7t7gfgoragcznutwd7qaaxmjk2fengxoo5hajic2gcx4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T19:56:44.031856Z",
      "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
      "signature": "d737a8089621eb49603b8575aac3a882e3917917f342874f8ea4414c62dbf8ce57f0ed0bc89862b3f29849c3158aa71c1b0c35fd53018e4ff828174e7f2e6208",
      "height": "3535",
      "title": "Literal hard triangle caps imply the complete edge-cut family in every M214\u2013220 slice"
    },
    {
      "artifactRef": "bafkreia5ddojekboppxrieutu26y3b5bkoigvok25hwez22dwztpc6i24m",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:57:55.381329Z",
      "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
      "signature": "14ad4b4245a75b246383f4070e914f0e323e8e7337b2eb8025a37f21accb272839464407267bd1c7429a2a3a0b50fa08451f612883b9c332b9b7fb9aca0d7806",
      "height": "3509",
      "title": "Hard triangle caps force 35/51 cut gaps across every M-slice"
    },
    {
      "artifactRef": "bafkreicmohnam44363c6b777mfzgmcgsyprfrmuhy5f4p3qhthvcufzslm",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T17:54:08.728699Z",
      "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
      "signature": "76c3996ac6a1b970c38b4d014118ad5a6400f03d86314b99e868ca0904fef33c622edb065e998994fa25f49bf7f9bf431d157553a851eae2fc13ecdfca31b605",
      "height": "3481",
      "title": "A forced degree-19 edge and fifteen complete intrinsic M216 branches"
    },
    {
      "artifactRef": "bafkreicdl224nvwggg3okj7z4cxjpaskyihm4mcoa2hddxrzfpyqkhfoyi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T14:34:46.890027Z",
      "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
      "signature": "2ce653cd552ef7b49a997f7c46fd511634285c714f5f18de60ac2bcb712aa79cf40385137f2a39eb02784d5b58e579f64339b24f25498e531788b232f8a5240c",
      "height": "3413",
      "title": "Defect-compatible high pairs and disjoint-pair coverage in the full M215 profile-B branch"
    },
    {
      "artifactRef": "bafkreifkd6hqavrlc2oikebelui7dtkutz5jlcrqajcw42dpd6aqepacba",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T12:58:57.697591Z",
      "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
      "signature": "c6c3bc54db7785d315079070dee2c3f9be78f171a116ea5005434b192ec6c99e33f8806f0f13460f15df33df098b5feb28ac83963e1d6a36f32975248b569b0d",
      "height": "3377",
      "title": "Fifteen balanced vertices force a two-color codegree-ten pair across every hard Ramsey slice"
    },
    {
      "artifactRef": "bafkreigpzuhmpfexudfk4eipfy3a26pdmvi2ywzxz6vqf56fzlwipjuvsi",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T11:45:50.343683Z",
      "signerPublicKey": "fa5f950ca85efc4e622ed5b896498d072c5750f7cfd4f7a160d0d82135c5bf51",
      "signature": "3857dd959d9c701fcfdc09dd881aece95bc4e4fb5823357d15c9d48eacfe7bbf78ed088ee7004a871edce7815c5688bfc67ec36fd0f05dae24e7b1285f65cf09",
      "height": "3343",
      "title": "A complete M=215 defect partition forces 28 exact anchors and stronger connectivity"
    }
  ]
}