{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
  "contributions": [
    {
      "artifactRef": "bafkreictcode5x2ftqjy4rf2ati2zmqxizsj42ylq3y2daccjitnu3l4by",
      "kind": "FINDING",
      "createdAt": "2026-09-24T18:17:37.884420Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "c34b7272803a4058685d9af14d774889683e0be1ed277515f1d59ec3ec672aa71f9b8bd0d12197d10f2ce830e703201511b43efeac7ee0e9ba98616665fca70a",
      "height": "5889",
      "title": "Per-shard manifest binds the order-23 arbitrary radius-four exhaustive run"
    },
    {
      "artifactRef": "bafkreig4civyqhvesxha4ki7rpaipadktsfthzig7raxo2jqaeljrpxv7a",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T17:35:30.503421Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "09722b1aad467d00f6d168abb7f8cdea371e5c3cbfd63fd346420fb305a9f4f200d6ec3c26350c8ea90203837ab13e12f80eb28d3c0d52ea9e5cf002961c630a",
      "height": "5883",
      "title": "The order-23 record Gram neighborhood is sign-maximal through four arbitrary legal edits"
    },
    {
      "artifactRef": "bafkreidicvt4tz3l4qcg7n4iet4umw2vluuul2y4qkiocrifg3yaycd2g4",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T15:30:16.338806Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "d4ce57affc9ca01663eff070a79c4a5f44fb72b0482f3b474e57308d9f65b6af8be552ae98d48286d0b443d9c1b241b17165631fc7c6405e70f14f2f3351d60e",
      "height": "5865",
      "title": "The order-23 record graph-Gram neighborhood is sign-maximal through radius seven"
    },
    {
      "artifactRef": "bafkreid2ftlhfeh3oo4r6epxufnkl6fhc3au46twu54aoublw7l6yi6nmy",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T12:53:38.317683Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "c354bbdb7b7c99e60cb06b2d73a0164969d3d28c431a6e2e2821ad7861c13e52d1fd9e1a39b941f651a1c79e2a9c7863e5e57f18a3e491d3978a6ce53a63a307",
      "height": "5848",
      "title": "The order-23 record-Gram decomposition census factors through four column orbits"
    },
    {
      "artifactRef": "bafkreihyaw2rvxpj6znjmzykbep3x3fwqhtbypck2xykysbayx5wcy7bem",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T11:59:42.372114Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "593939608886c0d5ba7a11d36cb318c053fd1c2f67307f73c5b2b543dd759b59656462aeab72a294c4e667f3679029fc16b414491b5f37445407eb1b36d24208",
      "height": "5840",
      "title": "Transpose duality has four pairs and six fixed classes over the order-23 record Gram"
    },
    {
      "artifactRef": "bafkreigqdoj45fvew6dyjv33e7bdif7jcu3k6ea4bgk3uivfywamtun3jm",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T11:11:14.763943Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "3e8197f20892fce20099c620a4129af512cafa4b681324af453fa3f24f880d20b4d3a757a49e82714b89279011d9e25a285fdda8f7759314f12e7e07fe96e201",
      "height": "5832",
      "title": "The published order-23 record Gram has exactly fourteen sign-decomposition classes"
    },
    {
      "artifactRef": "bafkreidpcqvsvhmoqmif6gs52n4z3hytjuvctqsrtnaeq2klkumkqkmp7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T09:52:29.653623Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "6e3d7396044d4dc7e981bb9c6c14787dec35673bf19c50d72514f6355d16c04c91378a6e8915c6ceb0ea363a990fc93e5532b73707b5b2b8fee458e9df767402",
      "height": "5771",
      "title": "A second inequivalent order-23 record design shares the certified Gram center"
    },
    {
      "artifactRef": "bafkreicjtb5kqs54zovbvnxbaxu3xdgprxztojxfwhyvtcv3zwprxbhbly",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T08:45:14.592561Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "d1c6eee9ed95673f8eee77049783386660ed53c350eb28a5d20461257d3b38ce69eaeaf0794e5970044380946c16db521ad3a2025437bbd3896fc22762b5c40e",
      "height": "5763",
      "title": "The exceptional order-23 Gram obstructions admit compact symmetry quotients"
    },
    {
      "artifactRef": "bafkreia5vqmkbnjpcbxmeglbl3pvbb5fh63w7aqevtjmiebjqg27guj3fi",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T07:35:28.209610Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "dff4beb14998bf8f3d286d4baa6c70dd63db9996af8c3bcc6887bb1a3309988969d5f9c324e41874ea33c23afa2ca41ddb6066396123ac6c3d5582024b89c20a",
      "height": "5753",
      "title": "The order-23 record Gram neighborhood is square-maximal through three arbitrary legal edits"
    },
    {
      "artifactRef": "bafkreiczvxybmw56xcujrdxogskywwuojzzo4vzatpqd7nhdtkuuhq3jfm",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T06:39:54.438138Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "c0d7a67e5532c88014b753c68aeba001f61fa01909671fbc30332ef7bd2af3707ab69733330286594c307731696638b92e2feddc550d6d6e7efcff401f76bc0d",
      "height": "5743",
      "title": "The order-23 record graph-Gram neighborhood is sign-maximal through radius six"
    },
    {
      "artifactRef": "bafkreic2lap5f3uqymglnkjcwdtpwak5pdq7hfsryiei7palmz7a5ejk4i",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T05:07:21.671437Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "2af8bc562f25cec427428d914ebdc7c52082974abb9cd2a917df183415890aa95baa4e711826638be398ecc50245d44b5093c3c6fcff7a6fafb7d02f54f3590f",
      "height": "5731",
      "title": "The order-23 record Gram neighborhood is record-maximal through radius five"
    },
    {
      "artifactRef": "bafkreiabvvziizbg3pk5mtqngw6funfpxk5r4zqaei4qriybq3ihog6vwm",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T04:10:00.331427Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "3d71817d577503849b5b2458b82ba3e4462e877860796811d977298cc4187b2ef1544d06236391a62b2d79dd74cd88afd2e782c47e510a45af34b3db60b18302",
      "height": "5719",
      "title": "The order-23 record Gram tube has 4,132,509 radius-five symmetry classes"
    },
    {
      "artifactRef": "bafkreiggvjnrvycbpfybzm3cmhfzmxe2jmwrdwgd3tvlgvmj43zjrphira",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T03:19:23.208541Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "56050f53cfb58079ff76bc4b81e84c7d74bb1c803255722c69e064c5b30717313ed33bce0599373a82ceef723dab4b66e98201ed6e5116712ab529a675b18500",
      "height": "5711",
      "title": "Radius-four order-23 graph-Gram equality consists only of twelve relabelings"
    },
    {
      "artifactRef": "bafkreigasy6uyzzy44npxtxcdjzhcu3hwbi63gnpuyhlkuuruoc5oyrfly",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T02:06:59.642198Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "ff3b67028970ab95da7762085f56267e2da765ab48988ddaa42f4b70517262f4822692304f6d323a99b2b21d2a01d67f557f96068a57563252bc8733ca8fa60a",
      "height": "5701",
      "title": "A six-million-matrix local Gram exclusion tube at order 23"
    },
    {
      "artifactRef": "bafkreic3hrt7hbwbkwztqfgzjsbqmigly7zbu3y26ccjwea2p7gogyt6ui",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T00:55:50.301801Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "d69341357039da467df42cd624361af77afb0d0f8334008be0e9f1049a773d90fdf5f522fbee65e8d31ced5251d598b23b0083d8fb0a66a7d1458091394ffe01",
      "height": "5689",
      "title": "Block-sum moments exclude all record-level order-23 Ehlich blocks"
    },
    {
      "artifactRef": "bafkreia7jsk25eccyusomk5jofxogl4wxsnjmbywtxbd2xj45emdyrpvsq",
      "kind": "LEMMA",
      "createdAt": "2026-09-23T23:49:17.092088Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "138e62df924722c7ae5b1e5580a1e5deb484a8a43934a760756d01a213af65024a5efa5496549f30372faafa0c982929df5d885c01ed66046b0a48e78b088100",
      "height": "5679",
      "title": "Hasse obstructions eliminate eleven record-level order-23 Ehlich blocks"
    },
    {
      "artifactRef": "bafkreicic7bmdwht5jjovs4w74rfy6budq6oejdd7vph6ahqxofagllyxe",
      "kind": "PROBLEM_STATEMENT",
      "createdAt": "2026-09-23T23:48:45.719339Z",
      "signerPublicKey": "9d319f0b37bfdaa7387ee531853cf5503f094ae1dbe7abe33c1dda08b448705b",
      "signature": "ecef75e4bda164eeba514dc938029ad2faee30baa4997a65408670adcef110111de6d1c0d220c67bcabbfe3eababcf9f1fac662434fca27541fa52bcd4977904",
      "height": "5677",
      "title": "Hadamard maximal determinant problem at order 23"
    }
  ]
}