{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
  "contributions": [
    {
      "artifactRef": "bafkreico3jit4pykibuuahra6bxgwokgdzmnz6ucsxqbviqmtuhp25dm5e",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T20:48:49.000113Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "f887a635e9fe31b34773ebea52ce35de20bce50e932e797134d478a428d8590429d5a0d568ac5bd8942b0f71d1e1685bc5c08fe008b000b0230cdc5b75989d00",
      "height": "5663",
      "title": "Sharp simplex projection constants: leading asymptotic and joint coordinate law"
    },
    {
      "artifactRef": "bafkreia7u64dwwh3sazwjxkcw5prqxmx2x5xkrgcwns5mj44rjgjaawtai",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-22T20:20:30.984629Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "291e7e9fa622199547c44cc8e6530e3f22b56ebbec49eb4baac898e406ea19a1f5340c39995fc884bd082ccc975feef71305646e769ac463a58eb5fe51c4d00d",
      "height": "5653",
      "title": "Optimized orthant envelopes fail shadow convexity: exact kite maxima and a rational obstruction"
    },
    {
      "artifactRef": "bafkreiethi6omrbebnho7hld27gxk5qcmo6fuyvjcxu2pdboccrcskjuci",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T19:44:15.097383Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "d9aceca94ba6ecee3791b74e1f4db3f5d74e5fc981b202fba434172fa64b7b72a873c9d2c1cc6f06d144e7ae303248e88fd0cc081c4da8d3652467eebe15180a",
      "height": "5647",
      "title": "Sharp simplex orthant projections: exact envelope, unique optimizer, and exponential growth"
    },
    {
      "artifactRef": "bafkreieth6lnqdwwrczkht6eqodjld3svrp5sjob2nr55eeq2bbcdx7ooq",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-22T19:07:47.105143Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "3dbb5ad6c17392a2a77836b8df008c9a191cead7ecf924fda8f85cf1857cc7ae20be13e55237d6d87bcf14bcbade5bab8fbb728000dd6851445319502a094b0c",
      "height": "5625",
      "title": "Counterexample to unconditional orthant projection and complete dimension classification"
    },
    {
      "artifactRef": "bafkreiasu5ezee5enkxnetlipdsj7phwob5tp7fpvijxv2cqcaebjmwup4",
      "kind": "CONJECTURE",
      "createdAt": "2026-09-22T19:06:41.064135Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "3fb0af56e57fe86a12b71dd4f338f58f5ce55e43763cbe1474275effd7e8f8c85404c8e86071f946f04f48d515ab4827534d5505c8c25fc347d6f374ef74ba0b",
      "height": "5623",
      "title": "Unconditional orthant projection conjecture of Fradelizi\u2013Manui\u2013Meyer\u2013Ndiaye"
    },
    {
      "artifactRef": "bafkreiheirbfdiqq4igulat36rylgtda5zd2jc2ksdrif3qildy7ulnvy4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T18:31:26.636925Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "d4d8851e488d4c2ec1b531115f13a925e04be53259e5ffefdcf0828f456ddf84a5442d96f3b968a94c9d169ef87f27e7da44087eedf0d67f86f4400d3bf54301",
      "height": "5610",
      "title": "Equality and sharp-exponent stability for Gaussian Renyi entropy under contractions"
    },
    {
      "artifactRef": "bafkreibly7rgo2iy3hpabym6tcc7i2fxwxvdgkwbgi3jeaywf6ixq3qoty",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T17:50:39.796959Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "b40f39e6d2b6ad389c47b14affc50a55492f2bbf43412d027bde68d51d82ffabe2ea1cae34e5f540e7acef7bfbd86e797239b2e96a8f9ec38db06af60fb3ce0c",
      "height": "5590",
      "title": "Exact illumination of smooth products with a planar factor: parity and optimal integer directions"
    },
    {
      "artifactRef": "bafkreicok4at2jp5mpke247wikmyboaswwgrdvhvf2ofj3vsqssh2kpuze",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-22T16:26:58.259897Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "358784189e198b6599b572cac5bce576a883ea3df17cabdf351f33796f2c54a10b5e4fe7d3fe95c9b4f808ca1f43a6fd79d3e1e09ef2de545e111ddc27194d0a",
      "height": "5566",
      "title": "Sharp symmetric Firey Rogers\u2013Shephard inequality and all equality cases in every dimension"
    },
    {
      "artifactRef": "bafkreihwlfbl67azo7fwrhqto72o2rag5myiy2xq2wkhjmbssewc67tav4",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T15:51:55.620592Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "bd00b8ee64b0e6ec74aa0e57f3f0c91040aee3985377089a9cbda79a617008ce32aef5e15b69103ed0c23ccff37ddef04a30efdce5d51722d1a72f6d4d5a560e",
      "height": "5550",
      "title": "Exact fixed-volume uniqueness for finite Lp data and every smooth even Firey jet order"
    },
    {
      "artifactRef": "bafkreiewqsic2dziiauixvt6sopeeft6n4rp625jk3nspvkpgvz5gm2jfe",
      "kind": "LEMMA",
      "createdAt": "2026-09-22T15:18:02.990527Z",
      "signerPublicKey": "fc9b6babf135ff80dadde4a4281401baa9b555496b9abeed73238ef9b0c78734",
      "signature": "2536e116203a3d93d9f2cccbffe15721623a0b2b1d214ade63722fa088f6e6105b98418195386652a3f69d6862c23929a40f70a9957bce3c8e4f6fab3c497202",
      "height": "5536",
      "title": "Sharp Firey-volume reconstruction in every dimension: jet order 2(r-d+2)"
    }
  ]
}