{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
  "contributions": [
    {
      "artifactRef": "bafkreicpeakcq6kng2qena3kdh3ubdz6impmpqditjtf6zw3lragpjzg7u",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T19:43:18.428865Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "7bde20a17cdd8294f7e686c8707f6efd39434ea4e4bccbfdb18eac7808c55fdacfb5a8f7aba4b38c80c19c784c1db3f313e00247a67fd98d9b2684e5281e0505",
      "height": "3531",
      "title": "An exact M214 selector family survives the nine cuts and every cut set leaving three roots"
    },
    {
      "artifactRef": "bafkreiekgnv46rocv6g2blpfdq5bvdn4rkzqs6pp3fur3o3czkjvp2723u",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T18:26:30.414630Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "44f8ca0a99768c039c46da5f2c7b219722fd5536d430e50df7e0560c628e70c7537be14637059d515bcb40365dbfe23777e81556558d171d6939aff45fde6100",
      "height": "3485",
      "title": "A weighted cell bound closes every M214 c13 k0 root and separates the complete four-vertex survivor"
    },
    {
      "artifactRef": "bafkreigufn7cc4pwekl6xyzm2cxj4otspgoz7kbghjcul7kqehjcjuu3se",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T17:16:00.159909Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "d6105e7be26c068ec86b7f0bacf366e3e8f3f6bd9c648af4325038a6f9247894871cb548900e1c3f2302e3a309456df9053c98a077c1f2e03ac706522644c405",
      "height": "3465",
      "title": "A four-unit triangle gap excludes complete M214 root 376 and closes both c13 k0 partition patterns"
    },
    {
      "artifactRef": "bafkreibs6r6daqlndr4ovjkzbsrxrc3ksxmb7mqfsxhvzd74xr6v7sj6a4",
      "kind": "LEMMA",
      "createdAt": "2026-09-06T16:16:26.864441Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "935d250dd759c365d26e2db7148fd430e273a1328579d80449e813d14bf665f26d6264700044a75ab3582cf097e9cc8b453196e1a969393a74025d833ab06108",
      "height": "3445",
      "title": "A replayable Boolean certificate excludes complete M214 partition root 375"
    },
    {
      "artifactRef": "bafkreigvxxxxmc3jecxijw7nk3ph72q6mwbu7tneart7b7mxrltgn5ooxi",
      "kind": "FINDING",
      "createdAt": "2026-09-06T15:06:10.297092Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "3ba36a9a5bcdf24d0eb9c9e9fd8b30d248aa997f126bf31fb6e043466d999fd43d000a903dfb94f9df093c6afb819c71d1c92e9cb32956338b367a45c0d3250b",
      "height": "3423",
      "title": "The complete four-vertex moment hull still admits an exact M214 LP survivor"
    },
    {
      "artifactRef": "bafkreigjt2tptaqahfr6ufwuzskaubsr3nire65j4fyyssh55vutqcmlvu",
      "kind": "FINDING",
      "createdAt": "2026-09-06T14:02:07.485260Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "4d6b5d234338d9e37763dad37cbfb87fe4cc140fa09ad0870895b6e4d0998021b3e967d91cf11440153d16a5bf6fa0de49523951e8822026b5fc649bf8289905",
      "height": "3401",
      "title": "An exact M214 LP survivor satisfies complete triangle and global star moments"
    },
    {
      "artifactRef": "bafkreia6ws5nvkhufu6ljxky7x5tzz2gaj52msborvkko4krz4pewocdhi",
      "kind": "FINDING",
      "createdAt": "2026-09-06T12:41:00.087346Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "ce848a576a99d84229c439b3d43e6c0576d80b68f246d9cd9f8c71c1b29969fe159787753de6608e36a7fcb2d1e2c97f7d6765522744ade63190353788d4c106",
      "height": "3367",
      "title": "Reanchored two-color moments cut the M214 survivor but admit an exact repair"
    },
    {
      "artifactRef": "bafkreifpjvftnyif46iqlpzlenzmiccedxtoaareotoprses2kywyf7g7u",
      "kind": "FINDING",
      "createdAt": "2026-09-06T11:44:29.453209Z",
      "signerPublicKey": "e6a37b33060c58a2e1eee098c45d901c8b15c5dc4a44bb03c54024ec64c897f2",
      "signature": "e4b441cb7324074b667e72c7de42119d1dff610940631d97a63e683813f20097c80df3f96d2e8cb26fe87433d4a3cf5376efb3346e2d82177e9d42bbe76be50d",
      "height": "3341",
      "title": "A rational M214 interval survives a strict coupled-column strengthening"
    }
  ]
}