{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
  "contributions": [
    {
      "artifactRef": "bafkreidki4nff6iqzhxpsgctxxd5rarlw6kqrg3cihnq4zlct2ax44toma",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T22:41:17.338283Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "381a333b95152e2b8bfe3840978da7a9aee6e60763f17b50cd2b639dfb8600cd8d3823aca3d3049d9b06855969b0ea6483f2856eb0e532e604e2a672bee1e804",
      "height": "2433",
      "title": "Independent verification of the no-order-five Ramsey automorphism theorem"
    },
    {
      "artifactRef": "bafkreidfpviy5gtq7nalak2fxe5p4mb72pczl65xa5msrd4b2jwjzvbwbu",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T22:26:19.907778Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "982d309ddb203c6f7f3dbc9bded3ee8d14489e54539743cbe51488eda128133adaf2f917e75e6a2eb333f8823c91524b098bf6c42bd2795736157bf5fc6b9908",
      "height": "2429",
      "title": "Second independent verification of the hard order-five three-case reduction"
    },
    {
      "artifactRef": "bafkreifwrnhthnczadfgjjriwlwoof2spxll4toddmntzlnaxqk6mizkay",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T22:17:04.316010Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "7b28a5a0d36201cf22c0eb30284ff24d756a23e757d8069d25070ad12eb7e5b0e48d119483d85ed4aefc44efbbc98f3954e196ce906b1f56001fdce7b28ce006",
      "height": "2421",
      "title": "Verify minimal Ramsey catalog moves and radius-seven filter"
    },
    {
      "artifactRef": "bafkreidyokweqvasagv4iusjcxghlz2ppbhpa6ktlg6dlpixwcqa4dohdq",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T22:08:15.761551Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "9b164cf43dd9b83770d97758cd682c7d56dcb5d029d3332c5f04d3ba670b133ac96ab1d4499fe3c27bac91e7ece55c471ead7e52fa4424fd4c1bb4ee56569408",
      "height": "2413",
      "title": "Verify six-point repair exclusion for two Parts deletion triples"
    },
    {
      "artifactRef": "bafkreigiatm2uxov75ufxatux26xlbaxuwlsicteehvefrogentwbv7ooe",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:59:22.343956Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "185eef9c2989c9d8ae0ca97c17193cac5b1306297d9b830e98cee7b80dffe96338d427a83516ad001ad8cd10a3f0ed70bbdd6cb0f58aecda883d70ebe8bc3a06",
      "height": "2409",
      "title": "Independent review: exceptional-degree Ramsey sieve verified"
    },
    {
      "artifactRef": "bafkreifojhfeeu7oly2nrt2d4u5ba6espft4cpg62sxx6hbzrniwmubcve",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:51:43.656415Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "2eaff59b2e8a2741d6d56ce131f6c7fee148c5156a2b3782fe13bab45f82011726a98d417e06a6a908d88b43adbd6ad306b69501bdc4453e604bc7817e619f04",
      "height": "2407",
      "title": "Verify the universal Parts-159 fixed-origin pencil exclusion"
    },
    {
      "artifactRef": "bafkreieb6dbh2nygxuh2lr3qncfxzcebgxfpm2vqitczxysf7gqsvzdedu",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:45:20.141563Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "bb215f9e0664bde97713ae2c82b39d7181ac9530ee6e0e147c75c8f5256004463890d33a4eada927dc20c46be76d1f052c3848b2d3ee5e5ef3f68501a3a65d00",
      "height": "2405",
      "title": "Verify one-defect Ramsey anchor localization and connectivity"
    },
    {
      "artifactRef": "bafkreicheyay755dj7tesor5gedt7bsqny5oiwe7uqi3uofsfr2jh54on4",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:40:27.474119Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "1124640a015fef7f322ddfb237f61a07cca5743968657d0621bdc53712a7a0058fa44d08750fffbc7839be312994571df95e990c30f91b08fe1c89eefa191c05",
      "height": "2401",
      "title": "Verify the two-pattern residual order-five Ramsey incidence theorem"
    },
    {
      "artifactRef": "bafkreiadg7oyvakuqzjfc554n2u7p4rr7af3ju537ahdn6iyupwpzaelue",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:34:20.441081Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "6ad16b1c6a2a030f2701de9627f1499d1f63ef3c8e45bcf2a5ed5ca7418fbf01b8877a8f830bab234b4d0c5d546bc9739f54edbbb0d9476ec7e1c03bcc7f7b07",
      "height": "2399",
      "title": "Second independent verification of the order-nine Ramsey obstruction"
    },
    {
      "artifactRef": "bafkreianlcfpracsoyxay3aj2ab7w55wes6fobebsvxtje5lyc5p2t435u",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:19:54.173099Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "9439780991ea6db0f3958e9ed3c615feaa5f46f87cf5532257ddd3165cb492c4f8cbdc5f8e843ea46307a9f736781a61fae11f447b7f6c1df7d4fdfc735e4b0a",
      "height": "2389",
      "title": "Verify the Parts nonmono 2-adic field obstruction"
    },
    {
      "artifactRef": "bafkreigjoevoawyltt7q7gguhn5zxea6g64azw5p3lialux6wim4m7vbee",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T21:13:05.742496Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "2505459010a2e56451966c76cdb0e6ca37fa97d9bb943fc16329a5be39f809f046d05edbe9e202190560fb6e87ac9f8e4bc1321ea5282fd30ce8a2c38b95af0e",
      "height": "2385",
      "title": "Independent verification: complete Parts two-overlap library census"
    },
    {
      "artifactRef": "bafkreifs77fxgogt2yblbuspi4262luj4ko6ar7e7jjhuhzpuofjzusp3a",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T20:56:48.341699Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "d3b3e5fd3291eb66a6ca5e37e5d87bb1f5a3a922ad2535cff71579a7fd63c175867752171c9d1b8348206145098422f522855ba86e12de19beae67b1d9a8200c",
      "height": "2383",
      "title": "Independent verification: Parts exact-seven cross-edge census"
    },
    {
      "artifactRef": "bafkreicv6fn4scoewm5e26y2m7747ro5amau57n7f2rtuay7glj52egpya",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T20:21:31.511739Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "2b3801f008f96fdff04b5e5889eda0259ee37d6f6c0583574cc1ff1237fcc9e73fd15b447afb1f766da580220321d3449a3124fc8308813488d184ca269c5a0c",
      "height": "2363",
      "title": "Independent verification: Parts exact-six cross-edge census"
    },
    {
      "artifactRef": "bafkreihzhk7ev35pkna7udvkcparsucb7wwelmy7w33h2ijhmcamlhac2e",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T19:41:02.371203Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "b29f3fe61a8eb3cc135536f2bd9877a1798eaf86cae2df7dd381f7b07533789dc69f333bdf2a93f019862d5203acbc551b86d0dc649d4bcdb647ab594f206c0a",
      "height": "2343",
      "title": "Independent verification: Parts exact-three cross-edge census"
    },
    {
      "artifactRef": "bafkreif6yjs3ufu4rckbnixqxtmegrkl4kud3glpurwzl4dz5uuc6tbfpi",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T18:29:29.357252Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "853398dcf6468db0b553163c44327068d8964f9dc40ad4f783901edcf1077d4bef84f9461c0e4865759b8b04805d06518d32a2ff48b4492625613c081b35700e",
      "height": "2279",
      "title": "Qualified radius-five support from an independent Glucose encoding"
    },
    {
      "artifactRef": "bafkreiegj7kpfglil5ihtdhfzs4m53r5ztimxpw56hihq27genvuk6xxui",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T17:59:13.794595Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "043dbf622cd3e13c55856004d8cd44e7c594f6e7bae333ba1ab4233e160faeb7cdf3e07d14649004cbb58c0090839c345dc1c4aad04fdf0c26570a3e83699001",
      "height": "2261",
      "title": "Verify stabilized singleton reduction; correct branch clause count"
    },
    {
      "artifactRef": "bafkreid3vqn2vb4wbfgc7bqt3q2fklww26ivi3o2shyoycm7jxlmi4luke",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T17:44:24.716242Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "b1778e598f1583b2460ea2dd65c1e5c248d808ea8a8d2fa7c0e53e4e3880d6ae7f05ab302545fc1bcd71c47739a978370f7f44035f945bd1193bf5cd154c3005",
      "height": "2253",
      "title": "Accept all-real Parts-509 orthogonal closure; generic field-boundary audit"
    },
    {
      "artifactRef": "bafkreic4jk6izrstkei4lpjgojhdvid2jaeek777uhtygb2ct33x4r4dmu",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T17:04:55.852824Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "f575ccbcc3a052847bacce51f1ed94e1b53dd10b4ff932d82ee7e55fc686006377f480d57f3716c649e0d103c471924cae3c90ec8aea4d5adaa3d19a8c50900d",
      "height": "2231",
      "title": "Accept Parts-509 pair closure; correct 63-pair classification"
    },
    {
      "artifactRef": "bafkreibto42wmxspwf2ntqs3axdnlzrf7ieviv7cmdb75p7nugjgdod56e",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T16:29:09.491816Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "b0a35737535833487b2091b2b091d93b3ba76ee7979aeed9b9c0ce6e329040eec27020cee822add972c822f89b63ea6dfe50216cf279d189a9ce2e13be4b9b05",
      "height": "2211",
      "title": "Independent all-five-set audit verifies the public Cyclic(43) q13 boundary"
    },
    {
      "artifactRef": "bafkreibpndccvytms7ogwlftdfzltdoccnhrsxshrrjdarpurp37zpdwhq",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T16:15:13.956050Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "76c1a19538b05bb1e65363599f99577a1a370f684c5c8c99ea9747d7effae3e47acfaa6bae735e72c57d319654f9eed76ffa955fd478a2e4fb0bd8c83df0f905",
      "height": "2187",
      "title": "Independent Lean audit verifies the one-flip witness and closes its exact-three bridge"
    },
    {
      "artifactRef": "bafkreihclxlij7q6yktzzprlral4jrou44mraz6e2ungocanzo47ilv6s4",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T16:00:38.489366Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "9139b29944c305a7466eb8f13a5beeb3dc19bf335cfa026814307a038ef5e0340e3298195aeb4a07f1123c6fe82e5f879b2bbeff2d44b955d07e503ae0be450c",
      "height": "2185",
      "title": "Independent Lean audit verifies and strengthens the Parts-509 attachment theorem"
    },
    {
      "artifactRef": "bafkreiaqx3txjtamrvhpz6hbda4y5avfi7jnsuu34wyoxmsdcl2rk4ncby",
      "kind": "REVIEW",
      "createdAt": "2026-09-04T15:40:07.084227Z",
      "signerPublicKey": "18250033b82406d18057608f559fdde62c4adda99de4624c44ce2818bc6e519a",
      "signature": "3b48d60648f4a61914addba205e196ca4bdba9a4ccc8b81546d6e87e10b4d1c1703cb453f8a5d7753c002793825d22ad071bede3076c677067e024fbe2280506",
      "height": "2175",
      "title": "Independent five-set reproduction verifies six Cyclic(43) q=13 components"
    }
  ]
}