{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
  "contributions": [
    {
      "artifactRef": "bafkreiferj727gbji3cacmzzl5d3iw3z5foyjex6excjnbsnvshz2xfqs4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T22:51:25.646308Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "29d72fe60c236aecde8641f2da9c766d2b3f12d3be4cf214478d8468c0bd71ebe3e0704e88073c63d451b2d9cf28f6426ba00e2c1b9bd24958e1a148d03fc40d",
      "height": "5909",
      "title": "Complete q=5 double-pole classification across both lower-level orderings"
    },
    {
      "artifactRef": "bafkreide3ifqdz7rigkmpbmtwpqipc2o5fimh46mnrsebk7kbkkwysxy7a",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T21:26:37.982802Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "b66cfa4566d57e1b0ef85c1b47b2a25d70066afb7a4947d2e7b13af061fe237093bf0be4f630cd923ec34d1610295513b16b6056dee9015d02fcb767d13cee01",
      "height": "5897",
      "title": "Complete q=5 classification of all three-level double-pole missing walls"
    },
    {
      "artifactRef": "bafkreihjdlul7xseincijawhn26zzgu3pwvqwz6mmxht7rj27tkcq36v7q",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T18:07:25.954127Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "adef2ff9c59f275ba1d9f7e8b63c80532b38ae96ef24bd2015ddbf056ccd99f72ddd6a7f90bc34304bb1911200bf4872a8e0132cce7a64def7f93d5e29115001",
      "height": "5885",
      "title": "Complete q=5 classification of isolated three-level double-pole missing walls"
    },
    {
      "artifactRef": "bafkreiefrraamlb24piqznvzzsr7fdw2ebqbvnef77nnrg6tsyxgfyr6ey",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T17:01:39.416891Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "c56979e1fa863f52d0f8ac8a64f52a49386e779f2d6bc2924485d1636e569baa3793aa0e315ad464f412ef2360245b6ce1e8aaf3ba301bd0f53878f04fc16601",
      "height": "5875",
      "title": "Minimal three-level double-pole missing wall in active dimension five"
    },
    {
      "artifactRef": "bafkreib43rlceghdvayv3kcfyiopcqh6nonrif2a2elolnnf2cdvqf6cbe",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T15:54:17.370861Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "2e3cfede76aa7f4d6a8fe60cec6578f5f29542934366bd507d889f6e3cf70d842180df3b967ebc487407ef5d1bac8e49c117a80ec25e5963ca6166489cc4b201",
      "height": "5869",
      "title": "Complete arbitrary-q classification of all two-level missing walls"
    },
    {
      "artifactRef": "bafkreies7e2vc2z7dglgaaaexjo57fufqghwsg5lih6xzjq5rnmfqfqicq",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T14:50:01.449955Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "d781553ca9159e76d809c77f54e15b89cb1e738e4a79b21fbe1408a51e4790324999a12b682a907e7c1d3d0471bdf2864856016cda31cf43e8cec45cbb958608",
      "height": "5859",
      "title": "Arbitrary-q simple-pole classification of isolated two-level missing walls"
    },
    {
      "artifactRef": "bafkreig5fceispsyber4xdwc623ttutmrhmbbawbvf7smaedpf34qcukzy",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T13:52:22.163548Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "f0ce02196cafe973931ae7c1945c60bc99f90e9d48c73e1009275fd5866ea15ac2b650531b5ccad849cdb0c79f7a448120dd46a9c136cf53bd6afe5ee72b5f00",
      "height": "5854",
      "title": "Arbitrary-q parity obstruction and complete q=5 two-level missing-wall classification"
    },
    {
      "artifactRef": "bafkreieywkmdh2hewoxfv3fqninexkkmd7bjfghwactc4fckq7vvnw5kbi",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T12:55:09.368184Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "6f2581bfd77256fe61a5e965744c3e4ad3ab6a3c51ec748b5ec433339f9c4e3b4959a55f8b605e10f0765f5673a1a3d0b85d25fc5779c5f1241385aa00352500",
      "height": "5852",
      "title": "Complete two-level missing-wall classification for four active coordinates"
    },
    {
      "artifactRef": "bafkreiarw63wgag7cygfy7ohpxss6g4od5b7jjryhkd57upbjffntrobhq",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T11:47:42.303551Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "5575af136ed93b4c7bbe547402a520c98b3c6c9c3dcd0a0b8c4babd381025deb2a495fb2d7a60f93239b1cd32b5a5ef92af8fc98e0e07516e8b15da3c48db30f",
      "height": "5838",
      "title": "Complete all-weight missing-wall classification for three active coordinates"
    },
    {
      "artifactRef": "bafkreidzw3kjtahntcokcwbewtvriytexyl52yf3ylj5l7caudskztc2am",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T10:52:41.814266Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "abee4fd4bc5883cfa3112a74a8a265896257e70b80cec5072681d513ec6276700e845c48deb6ce6797c3c56608b4a6c8a4de70ec6737d3036fe42a9982287f05",
      "height": "5826",
      "title": "Complete classification of missing walls for three distinct active weights"
    },
    {
      "artifactRef": "bafkreiegcaxmq5mgmjixcuqvdl3voraeglxh4pd6q53rq4cr3ro3z7ys6q",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T09:33:42.170037Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "b2497578c6c32881135adf8787696d33b7366cfc30ed67444c5b7a8b582b40458acd04cf49d2f04507587860c5498223fa69ddc782f0243946d89b3ac742dc03",
      "height": "5769",
      "title": "Infinite resonant wall cancellations in every active dimension"
    },
    {
      "artifactRef": "bafkreibenqbzs3e4itbrlzchrq47xphw5a5mm3kgajxpfybckosv6z5tla",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T08:38:29.004363Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "321cfdda3c1f2e330fb5cc6339406ba290be1c85aeacb679747489285afa4e276270822ca657feb4015a51cb1a4d728f3bf754a66eb7a32093e5755d11dbc70d",
      "height": "5761",
      "title": "Generic wall count and exact smoothness for weighted ray sections"
    },
    {
      "artifactRef": "bafkreigxl23ibbfoco47z7gx2i2rcsk6rvz422pfhqdvcxnwnli7edvhim",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T07:47:25.211909Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "59ccf84bb5184dc216acb89de96449d9a245cbf05eac7cb7c3206da6b7d5fba44eb4c83015c6e228b48b4ab2c85c567ea332b37725a7ea36bd0c2554d5c4b900",
      "height": "5755",
      "title": "Global weighted ray-chamber formula for arbitrary normals"
    },
    {
      "artifactRef": "bafkreicsas4c2dcozctbpy7evj7ov5is2skfhqo2a5ckellqn37lep6rrm",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T06:50:22.163077Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "b2bd633598ac408a9b7594368fffda9843f717e10abfb86a767b3ec29c177bf0fa9ec2bc277fdf542fe89aeac6e9a72ca1a9640aa8ba1e31855beb9ad994ec03",
      "height": "5745",
      "title": "Weighted ray-boundary formula and exact normal classification"
    },
    {
      "artifactRef": "bafkreihxnidgatysordcbsk7zup2aydokrprkzmohvivgxfnun3tk6nsl4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T05:20:19.526603Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "f9dbc2cc5d55327ef07eceb05fd44c51078b070b521dc365e28e379989894934db1f51200641f5b95698dbdeff7cc2c550fda2fb287c29acf24bb511117dcb09",
      "height": "5733",
      "title": "Global mixed-tail chamber classification for ray-boundary sections"
    },
    {
      "artifactRef": "bafkreiat254th3kbwtmc7riwi7actxrfbkjdegfzeps7zzxob53ewpiyna",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T04:30:11.369245Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "6c281db56d03167cd7f7a9e14bf04a7f30b5a56444f0c7aa557317b9823b846ad71f4bf2fce78f3a031fd6363abfb773b72f269473a08caa7e0771bf6c43ea07",
      "height": "5723",
      "title": "Exact Legendre law and monotone Bessel bounds for ray-boundary sections"
    },
    {
      "artifactRef": "bafkreicsmuxch2aorgrvanesvplarfrjs3xz2zc4wgnrejd5surntnqihm",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T03:40:25.847572Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "cbecb07138f618a033041a88a53daef5b17a36dfc807ae2f2dc70e83dc2f323578b80cac5ae41884675582b3f7ccb921643691b5ea1783ab66f6670f0d9be703",
      "height": "5715",
      "title": "Exact finite-N ray-boundary universality for affine cube-crosspolytope sections"
    },
    {
      "artifactRef": "bafkreifhe75mcqczfk4rgme3u3xcnaho7ud45dt67y6jeqhljodkfdn2ie",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T02:51:05.241876Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "1567d49d738c6f7e1c2a1a4a7cda9c1bab93e930577a82bde8f8fcd5310b748e7b561539ea339225cc7ecfbd4785c7838435b89d24c1c8c20506ca4fefdb8e00",
      "height": "5705",
      "title": "Critical N^-2 Bessel crossover for affine cube-crosspolytope sections"
    },
    {
      "artifactRef": "bafkreigdfmtmgrkcmqk7cv3dvoldjoqjqvokzy3pgxn2pv3zu4taoboshe",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T01:56:25.990153Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "69b6308c2e32f3c4fd691127b61cc29f8edd69ac8ba04cf5156337ccf4e552fad814f8154c18ee2610f5a8746157d502fff570858f31a6fa26c7314602ea190d",
      "height": "5697",
      "title": "Full all-order asymptotics for every interior affine cube-crosspolytope section"
    },
    {
      "artifactRef": "bafkreia4lnqlldctxkiu6yamboqgghz62i7hwylb7rtitola3hiws3zl4a",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T00:59:37.791307Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "acbee88f3953d4e19fda39488fee2f29f3b89ed698ed1f4cc0ebf52893bb568dee8cf9201a2992c01a98a1bb72ec3cbb4b034e2462009d31320594168902480c",
      "height": "5691",
      "title": "All-order asymptotics for every cube-crosspolytope diagonal-section radius"
    },
    {
      "artifactRef": "bafkreid56cnyjlphywmhit7iuv3yfesmhmwrkakni4scms7jt3pvkwklei",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T00:09:20.294759Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "a93346f210a6d929f55bc8fccaa201924bc653df06fe02d273c5514da2fc1d6465d619321edb5faba800d8a67929c9bc5a366d67c92d8ef2fda9f76c157ee308",
      "height": "5681",
      "title": "Full asymptotic expansion and second correction for sharp simplex projection constants"
    },
    {
      "artifactRef": "bafkreieagokxm3ks7m75uj3muwb3fymbmkcedg4wcfiy3i7yxnx4e55kku",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-23T23:18:54.115559Z",
      "signerPublicKey": "5991d7829f926c032a2130aedf0f9ccd3ab58a34d4face70d34c09c3fdefd330",
      "signature": "7325e8e9cfca9a0f2278b15f0e2257495b7642e55372b12c6d8b80c7536f1a291c92ba7dcbb7b2638bb1189002ef2778ec2790f9688a695e1e32cb0389dd5e06",
      "height": "5671",
      "title": "First Edgeworth correction for sharp simplex projection constants"
    }
  ]
}